graph theory:edge-labeled graph